home *** CD-ROM | disk | FTP | other *** search
/ CU Amiga Super CD-ROM 24 / CU Amiga Magazine's Super CD-ROM 24 (1998)(EMAP Images)(GB)(Track 1 of 2)[!][issue 1998-07].iso / CUCD / Programming / SWI / source / man / biblio.doc next >
LaTeX Document  |  1997-07-02  |  2.1 KB
open in: MacOS 8.1     |     Win98     |     DOS

browse contents    |     view JSON data     |     view as text


This file was processed as: LaTeX Document (document/latex).

ConfidenceProgramDetectionMatch TypeSupport
100% dexvert LaTeX Document (document/latex) magic Supported
1% dexvert MultiMate Document (document/multiMate) ext Unsupported
1% dexvert WANG Integrated Word Processor (document/wangIWP) ext Unsupported
1% dexvert Excellence! Document (document/excellenceDocument) ext Unsupported
1% dexvert IBM DisplayWrite Document (document/ibmDisplayWriteDocument) ext Unsupported
1% dexvert Text File (text/txt) fallback Supported
100% file LaTeX document, ASCII text default
100% TrID BibTeX Generated Bibliography default
100% checkBytes Printable ASCII default
100% perlTextCheck Likely Text (Perl) default
100% detectItEasy Format: plain text[LF] default (weak)


hex view
+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 62 65 67 69 6e 7b 74 | 68 65 62 69 62 6c 69 6f |\begin{t|hebiblio|
|00000010| 67 72 61 70 68 79 7d 7b | 41 6e 6a 65 77 69 65 72 |graphy}{|Anjewier|
|00000020| 64 65 6e 20 5c 26 20 57 | 69 65 6c 65 6d 61 6b 65 |den \& W|ielemake|
|00000030| 72 2c 20 31 39 38 39 7d | 0a 0a 5c 62 69 62 69 74 |r, 1989}|..\bibit|
|00000040| 65 6d 5b 41 6e 6a 65 77 | 69 65 72 64 65 6e 20 5c |em[Anjew|ierden \|
|00000050| 26 20 57 69 65 6c 65 6d | 61 6b 65 72 2c 20 31 39 |& Wielem|aker, 19|
|00000060| 38 39 5d 7b 50 31 30 39 | 38 3a 43 31 2e 36 7d 0a |89]{P109|8:C1.6}.|
|00000070| 41 2e 7e 41 6e 6a 65 77 | 69 65 72 64 65 6e 20 61 |A.~Anjew|ierden a|
|00000080| 6e 64 20 4a 2e 7e 57 69 | 65 6c 65 6d 61 6b 65 72 |nd J.~Wi|elemaker|
|00000090| 2e 0a 5c 6e 65 77 62 6c | 6f 63 6b 20 45 78 74 65 |..\newbl|ock Exte|
|000000a0| 6e 73 69 62 6c 65 20 6f | 62 6a 65 63 74 73 2e 0a |nsible o|bjects..|
|000000b0| 5c 6e 65 77 62 6c 6f 63 | 6b 20 45 53 50 52 49 54 |\newbloc|k ESPRIT|
|000000c0| 20 50 72 6f 6a 65 63 74 | 20 31 30 39 38 20 54 65 | Project| 1098 Te|
|000000d0| 63 68 6e 69 63 61 6c 20 | 52 65 70 6f 72 74 20 55 |chnical |Report U|
|000000e0| 76 41 2d 43 31 2d 54 52 | 2d 30 30 36 61 2c 20 55 |vA-C1-TR|-006a, U|
|000000f0| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 0a 20 20 41 |niversit|y of.  A|
|00000100| 6d 73 74 65 72 64 61 6d | 2c 20 4d 61 72 63 68 20 |msterdam|, March |
|00000110| 31 39 38 39 2e 0a 0a 5c | 62 69 62 69 74 65 6d 5b |1989...\|bibitem[|
|00000120| 42 49 4d 2c 20 31 39 38 | 39 5d 7b 42 49 4d 50 52 |BIM, 198|9]{BIMPR|
|00000130| 4f 4c 4f 47 3a 6d 61 6e | 75 61 6c 7d 0a 7b 5c 65 |OLOG:man|ual}.{\e|
|00000140| 6d 20 42 49 4d 20 50 72 | 6f 6c 6f 67 20 72 65 6c |m BIM Pr|olog rel|
|00000150| 65 61 73 65 20 32 2e 34 | 7d 2e 0a 5c 6e 65 77 62 |ease 2.4|}..\newb|
|00000160| 6c 6f 63 6b 20 45 76 65 | 72 62 65 72 67 2c 20 42 |lock Eve|rberg, B|
|00000170| 65 6c 67 69 75 6d 2c 20 | 31 39 38 39 2e 0a 0a 5c |elgium, |1989...\|
|00000180| 62 69 62 69 74 65 6d 5b | 42 6f 77 65 6e 20 5c 26 |bibitem[|Bowen \&|
|00000190| 20 42 79 72 64 2c 20 31 | 39 38 33 5d 7b 42 6f 77 | Byrd, 1|983]{Bow|
|000001a0| 65 6e 3a 38 33 7d 0a 44 | 2e 7e 4c 2e 20 42 6f 77 |en:83}.D|.~L. Bow|
|000001b0| 65 6e 20 61 6e 64 20 4c | 2e 7e 4d 2e 20 42 79 72 |en and L|.~M. Byr|
|000001c0| 64 2e 0a 5c 6e 65 77 62 | 6c 6f 63 6b 20 41 20 70 |d..\newb|lock A p|
|000001d0| 6f 72 74 61 62 6c 65 20 | 7b 50 72 6f 6c 6f 67 7d |ortable |{Prolog}|
|000001e0| 20 63 6f 6d 70 69 6c 65 | 72 2e 0a 5c 6e 65 77 62 | compile|r..\newb|
|000001f0| 6c 6f 63 6b 20 49 6e 20 | 4c 2e 7e 4d 2e 20 50 65 |lock In |L.~M. Pe|
|00000200| 72 65 69 72 61 2c 20 65 | 64 69 74 6f 72 2c 20 7b |reira, e|ditor, {|
|00000210| 5c 65 6d 20 50 72 6f 63 | 65 65 64 69 6e 67 73 20 |\em Proc|eedings |
|00000220| 6f 66 20 74 68 65 20 4c | 6f 67 69 6e 20 50 72 6f |of the L|ogin Pro|
|00000230| 67 72 61 6d 6d 69 6e 67 | 0a 20 20 57 6f 72 6b 73 |gramming|.  Works|
|00000240| 68 6f 70 20 31 39 38 33 | 7d 2c 20 4c 69 73 61 62 |hop 1983|}, Lisab|
|00000250| 6f 6e 2c 20 50 6f 72 74 | 75 67 61 6c 2c 20 31 39 |on, Port|ugal, 19|
|00000260| 38 33 2e 20 55 6e 69 76 | 65 72 73 69 64 61 64 65 |83. Univ|ersidade|
|00000270| 20 6e 6f 76 61 20 64 65 | 20 4c 69 73 62 6f 61 2e | nova de| Lisboa.|
|00000280| 0a 0a 5c 62 69 62 69 74 | 65 6d 5b 42 72 61 74 6b |..\bibit|em[Bratk|
|00000290| 6f 2c 20 31 39 38 36 5d | 7b 42 72 61 74 6b 6f 3a |o, 1986]|{Bratko:|
|000002a0| 38 36 7d 0a 49 2e 7e 42 | 72 61 74 6b 6f 2e 0a 5c |86}.I.~B|ratko..\|
|000002b0| 6e 65 77 62 6c 6f 63 6b | 20 7b 5c 65 6d 20 50 72 |newblock| {\em Pr|
|000002c0| 6f 6c 6f 67 20 50 72 6f | 67 72 61 6d 6d 69 6e 67 |olog Pro|gramming|
|000002d0| 20 66 6f 72 20 41 72 74 | 69 66 69 63 69 61 6c 20 | for Art|ificial |
|000002e0| 49 6e 74 65 6c 6c 69 67 | 65 6e 63 65 7d 2e 0a 5c |Intellig|ence}..\|
|000002f0| 6e 65 77 62 6c 6f 63 6b | 20 41 64 64 69 73 6f 6e |newblock| Addison|
|00000300| 2d 57 65 73 6c 65 79 2c | 20 52 65 61 64 69 6e 67 |-Wesley,| Reading|
|00000310| 2c 20 4d 61 73 73 61 63 | 68 75 73 65 74 74 73 2c |, Massac|husetts,|
|00000320| 20 31 39 38 36 2e 0a 0a | 5c 62 69 62 69 74 65 6d | 1986...|\bibitem|
|00000330| 5b 43 6c 6f 63 6b 73 69 | 6e 20 5c 26 20 4d 65 6c |[Clocksi|n \& Mel|
|00000340| 69 73 68 2c 20 31 39 38 | 37 5d 7b 43 6c 6f 63 6b |ish, 198|7]{Clock|
|00000350| 73 69 6e 3a 38 37 7d 0a | 57 2e 7e 46 2e 20 43 6c |sin:87}.|W.~F. Cl|
|00000360| 6f 63 6b 73 69 6e 20 61 | 6e 64 20 43 2e 7e 53 2e |ocksin a|nd C.~S.|
|00000370| 20 4d 65 6c 69 73 68 2e | 0a 5c 6e 65 77 62 6c 6f | Melish.|.\newblo|
|00000380| 63 6b 20 7b 5c 65 6d 20 | 50 72 6f 67 72 61 6d 6d |ck {\em |Programm|
|00000390| 69 6e 67 20 69 6e 20 50 | 72 6f 6c 6f 67 7d 2e 0a |ing in P|rolog}..|
|000003a0| 5c 6e 65 77 62 6c 6f 63 | 6b 20 53 70 72 69 6e 67 |\newbloc|k Spring|
|000003b0| 65 72 2d 56 65 72 6c 61 | 67 2c 20 4e 65 77 20 59 |er-Verla|g, New Y|
|000003c0| 6f 72 6b 2c 20 7b 54 7d | 68 69 72 64 2c 20 7b 52 |ork, {T}|hird, {R|
|000003d0| 7d 65 76 69 73 65 64 20 | 61 6e 64 20 7b 45 7d 78 |}evised |and {E}x|
|000003e0| 74 65 6e 64 65 64 20 65 | 64 69 74 69 6f 6e 2c 0a |tended e|dition,.|
|000003f0| 20 20 31 39 38 37 2e 0a | 0a 5c 62 69 62 69 74 65 |  1987..|.\bibite|
|00000400| 6d 5b 44 65 72 61 6e 73 | 61 72 74 20 7b 5c 65 6d |m[Derans|art {\em|
|00000410| 20 65 74 20 61 6c 2e 7d | 2c 20 31 39 39 36 5d 7b | et al.}|, 1996]{|
|00000420| 44 65 72 61 6e 73 61 72 | 74 3a 39 36 7d 0a 50 2e |Deransar|t:96}.P.|
|00000430| 7e 44 65 72 61 6e 73 61 | 72 74 2c 20 41 2e 7e 45 |~Deransa|rt, A.~E|
|00000440| 64 2d 44 62 61 6c 69 2c | 20 61 6e 64 20 4c 2e 7e |d-Dbali,| and L.~|
|00000450| 43 65 72 76 6f 6e 69 2e | 0a 5c 6e 65 77 62 6c 6f |Cervoni.|.\newblo|
|00000460| 63 6b 20 7b 5c 65 6d 20 | 50 72 6f 6c 6f 67 3a 20 |ck {\em |Prolog: |
|00000470| 54 68 65 20 53 74 61 6e | 64 61 72 64 7d 2e 0a 5c |The Stan|dard}..\|
|00000480| 6e 65 77 62 6c 6f 63 6b | 20 53 70 72 69 6e 67 65 |newblock| Springe|
|00000490| 72 2d 56 65 72 6c 61 67 | 2c 20 4e 65 77 20 59 6f |r-Verlag|, New Yo|
|000004a0| 72 6b 2c 20 31 39 39 36 | 2e 0a 0a 5c 62 69 62 69 |rk, 1996|...\bibi|
|000004b0| 74 65 6d 5b 4b 65 72 6e | 69 67 68 61 6e 20 5c 26 |tem[Kern|ighan \&|
|000004c0| 20 52 69 74 63 68 69 65 | 2c 20 31 39 37 38 5d 7b | Ritchie|, 1978]{|
|000004d0| 4b 65 72 6e 69 67 68 61 | 6e 3a 37 38 7d 0a 42 2e |Kernigha|n:78}.B.|
|000004e0| 7e 57 2e 20 4b 65 72 6e | 69 67 68 61 6e 20 61 6e |~W. Kern|ighan an|
|000004f0| 64 20 44 2e 7e 4d 2e 20 | 52 69 74 63 68 69 65 2e |d D.~M. |Ritchie.|
|00000500| 0a 5c 6e 65 77 62 6c 6f | 63 6b 20 7b 5c 65 6d 20 |.\newblo|ck {\em |
|00000510| 54 68 65 20 7b 43 7d 20 | 50 72 6f 67 72 61 6d 6d |The {C} |Programm|
|00000520| 69 6e 67 20 4c 61 6e 67 | 75 61 67 65 7d 2e 0a 5c |ing Lang|uage}..\|
|00000530| 6e 65 77 62 6c 6f 63 6b | 20 50 72 65 6e 74 69 63 |newblock| Prentic|
|00000540| 65 2d 48 61 6c 6c 2c 20 | 45 6e 67 6c 65 77 6f 6f |e-Hall, |Englewoo|
|00000550| 64 20 43 6c 69 66 66 73 | 2c 20 4e 65 77 20 4a 65 |d Cliffs|, New Je|
|00000560| 72 73 65 79 2c 20 31 39 | 37 38 2e 0a 0a 5c 62 69 |rsey, 19|78...\bi|
|00000570| 62 69 74 65 6d 5b 4f 4b | 65 65 66 65 2c 20 31 39 |bitem[OK|eefe, 19|
|00000580| 39 30 5d 7b 4b 65 65 66 | 65 3a 39 30 7d 0a 52 2e |90]{Keef|e:90}.R.|
|00000590| 7e 41 2e 20 4f 4b 65 65 | 66 65 2e 0a 5c 6e 65 77 |~A. OKee|fe..\new|
|000005a0| 62 6c 6f 63 6b 20 7b 5c | 65 6d 20 54 68 65 20 43 |block {\|em The C|
|000005b0| 72 61 66 74 20 6f 66 20 | 50 72 6f 6c 6f 67 7d 2e |raft of |Prolog}.|
|000005c0| 0a 5c 6e 65 77 62 6c 6f | 63 6b 20 4d 49 54 20 50 |.\newblo|ck MIT P|
|000005d0| 72 65 73 73 2c 20 4d 61 | 73 73 61 63 68 75 73 73 |ress, Ma|ssachuss|
|000005e0| 65 74 74 73 2c 20 31 39 | 39 30 2e 0a 0a 5c 62 69 |etts, 19|90...\bi|
|000005f0| 62 69 74 65 6d 5b 50 65 | 72 65 69 72 61 2c 20 31 |bitem[Pe|reira, 1|
|00000600| 39 38 36 5d 7b 43 50 52 | 4f 4c 4f 47 3a 6d 61 6e |986]{CPR|OLOG:man|
|00000610| 75 61 6c 7d 0a 46 2e 7e | 50 65 72 65 69 72 61 2e |ual}.F.~|Pereira.|
|00000620| 0a 5c 6e 65 77 62 6c 6f | 63 6b 20 7b 5c 65 6d 20 |.\newblo|ck {\em |
|00000630| 43 2d 50 72 6f 6c 6f 67 | 20 55 73 65 72 27 73 20 |C-Prolog| User's |
|00000640| 4d 61 6e 75 61 6c 7d 2c | 20 31 39 38 36 2e 0a 0a |Manual},| 1986...|
|00000650| 5c 62 69 62 69 74 65 6d | 5b 51 75 69 2c 20 31 39 |\bibitem|[Qui, 19|
|00000660| 39 37 5d 7b 51 55 49 4e | 54 55 53 3a 6d 61 6e 75 |97]{QUIN|TUS:manu|
|00000670| 61 6c 7d 0a 7b 5c 65 6d | 20 51 75 69 6e 74 75 73 |al}.{\em| Quintus|
|00000680| 20 50 72 6f 6c 6f 67 2c | 20 55 73 65 72 20 47 75 | Prolog,| User Gu|
|00000690| 69 64 65 20 61 6e 64 20 | 52 65 66 65 72 65 6e 63 |ide and |Referenc|
|000006a0| 65 20 4d 61 6e 75 61 6c | 7d 2e 0a 5c 6e 65 77 62 |e Manual|}..\newb|
|000006b0| 6c 6f 63 6b 20 42 65 72 | 6b 68 61 6d 73 74 65 64 |lock Ber|khamsted|
|000006c0| 2c 20 55 4b 2c 20 31 39 | 39 37 2e 0a 0a 5c 62 69 |, UK, 19|97...\bi|
|000006d0| 62 69 74 65 6d 5b 53 74 | 65 72 6c 69 6e 67 20 5c |bitem[St|erling \|
|000006e0| 26 20 53 68 61 70 69 72 | 6f 2c 20 31 39 38 36 5d |& Shapir|o, 1986]|
|000006f0| 7b 53 74 65 72 6c 69 6e | 67 3a 38 36 7d 0a 4c 2e |{Sterlin|g:86}.L.|
|00000700| 7e 53 74 65 72 6c 69 6e | 67 20 61 6e 64 20 45 2e |~Sterlin|g and E.|
|00000710| 7e 53 68 61 70 69 72 6f | 2e 0a 5c 6e 65 77 62 6c |~Shapiro|..\newbl|
|00000720| 6f 63 6b 20 7b 5c 65 6d | 20 54 68 65 20 41 72 74 |ock {\em| The Art|
|00000730| 20 6f 66 20 50 72 6f 6c | 6f 67 7d 2e 0a 5c 6e 65 | of Prol|og}..\ne|
|00000740| 77 62 6c 6f 63 6b 20 4d | 49 54 20 50 72 65 73 73 |wblock M|IT Press|
|00000750| 2c 20 43 61 6d 62 72 69 | 64 67 65 2c 20 4d 61 73 |, Cambri|dge, Mas|
|00000760| 73 61 63 68 75 73 65 74 | 74 73 2c 20 31 39 38 36 |sachuset|ts, 1986|
|00000770| 2e 0a 0a 5c 62 69 62 69 | 74 65 6d 5b 57 61 72 72 |...\bibi|tem[Warr|
|00000780| 65 6e 2c 20 31 39 38 33 | 5d 7b 57 61 72 72 65 6e |en, 1983|]{Warren|
|00000790| 3a 38 33 62 7d 0a 44 2e | 7e 48 2e 7e 44 2e 20 57 |:83b}.D.|~H.~D. W|
|000007a0| 61 72 72 65 6e 2e 0a 5c | 6e 65 77 62 6c 6f 63 6b |arren..\|newblock|
|000007b0| 20 54 68 65 20 72 75 6e | 74 69 6d 65 20 65 6e 76 | The run|time env|
|000007c0| 69 72 6f 6e 6d 65 6e 74 | 20 66 6f 72 20 61 20 70 |ironment| for a p|
|000007d0| 72 6f 6c 6f 67 20 63 6f | 6d 70 69 6c 65 72 20 75 |rolog co|mpiler u|
|000007e0| 73 69 6e 67 20 61 20 63 | 6f 70 79 20 61 6c 67 6f |sing a c|opy algo|
|000007f0| 72 69 74 68 6d 2e 0a 5c | 6e 65 77 62 6c 6f 63 6b |rithm..\|newblock|
|00000800| 20 54 65 63 68 6e 69 63 | 61 6c 20 52 65 70 6f 72 | Technic|al Repor|
|00000810| 74 20 38 33 2f 30 35 32 | 2c 20 53 55 4e 59 20 61 |t 83/052|, SUNY a|
|00000820| 6e 64 20 53 74 6f 6e 65 | 20 42 72 6f 6f 6b 2c 20 |nd Stone| Brook, |
|00000830| 4e 65 77 20 59 6f 72 6b | 2c 20 31 39 38 33 2e 0a |New York|, 1983..|
|00000840| 5c 6e 65 77 62 6c 6f 63 | 6b 20 4d 61 6a 6f 72 20 |\newbloc|k Major |
|00000850| 72 65 76 69 73 69 6f 6e | 20 4d 61 72 63 68 20 31 |revision| March 1|
|00000860| 39 38 34 2e 0a 0a 5c 65 | 6e 64 7b 74 68 65 62 69 |984...\e|nd{thebi|
|00000870| 62 6c 69 6f 67 72 61 70 | 68 79 7d 0a             |bliograp|hy}.    |
+--------+-------------------------+-------------------------+--------+--------+